$\forall$$T$:Type, $P$, $Q$:($T$$\rightarrow\mathbb{P}$), $R$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$). $R$$\mid$$P$ $\vee$ $R$$\mid$$Q$ =$>$ $R$$\mid$$P$ $\vee$ $Q$